Optimal. Leaf size=222 \[ -\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (\sqrt [3]{a}+\sqrt [3]{b} x^{n/3}\right )}{a^{5/3} c n}+\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x^{n/3}+b^{2/3} x^{2 n/3}\right )}{2 a^{5/3} c n}+\frac{\sqrt{3} b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x^{n/3}}{\sqrt{3} \sqrt [3]{a}}\right )}{a^{5/3} c n}-\frac{3 (c x)^{-2 n/3}}{2 a c n} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.138106, antiderivative size = 222, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 9, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.429, Rules used = {363, 362, 345, 200, 31, 634, 617, 204, 628} \[ -\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (\sqrt [3]{a}+\sqrt [3]{b} x^{n/3}\right )}{a^{5/3} c n}+\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x^{n/3}+b^{2/3} x^{2 n/3}\right )}{2 a^{5/3} c n}+\frac{\sqrt{3} b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x^{n/3}}{\sqrt{3} \sqrt [3]{a}}\right )}{a^{5/3} c n}-\frac{3 (c x)^{-2 n/3}}{2 a c n} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 363
Rule 362
Rule 345
Rule 200
Rule 31
Rule 634
Rule 617
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{(c x)^{-1-\frac{2 n}{3}}}{a+b x^n} \, dx &=\frac{\left (x^{2 n/3} (c x)^{-2 n/3}\right ) \int \frac{x^{-1-\frac{2 n}{3}}}{a+b x^n} \, dx}{c}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}-\frac{\left (b x^{2 n/3} (c x)^{-2 n/3}\right ) \int \frac{x^{\frac{1}{3} (-3+n)}}{a+b x^n} \, dx}{a c}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}-\frac{\left (3 b x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{1}{a+b x^3} \, dx,x,x^{1+\frac{1}{3} (-3+n)}\right )}{a c n}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}-\frac{\left (b x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt [3]{a}+\sqrt [3]{b} x} \, dx,x,x^{1+\frac{1}{3} (-3+n)}\right )}{a^{5/3} c n}-\frac{\left (b x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{2 \sqrt [3]{a}-\sqrt [3]{b} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,x^{1+\frac{1}{3} (-3+n)}\right )}{a^{5/3} c n}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}-\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (\sqrt [3]{a}+\sqrt [3]{b} x^{n/3}\right )}{a^{5/3} c n}+\frac{\left (b^{2/3} x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{-\sqrt [3]{a} \sqrt [3]{b}+2 b^{2/3} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,x^{1+\frac{1}{3} (-3+n)}\right )}{2 a^{5/3} c n}-\frac{\left (3 b x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{1}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,x^{1+\frac{1}{3} (-3+n)}\right )}{2 a^{4/3} c n}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}-\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (\sqrt [3]{a}+\sqrt [3]{b} x^{n/3}\right )}{a^{5/3} c n}+\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x^{n/3}+b^{2/3} x^{2 n/3}\right )}{2 a^{5/3} c n}-\frac{\left (3 b^{2/3} x^{2 n/3} (c x)^{-2 n/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1-\frac{2 \sqrt [3]{b} x^{1+\frac{1}{3} (-3+n)}}{\sqrt [3]{a}}\right )}{a^{5/3} c n}\\ &=-\frac{3 (c x)^{-2 n/3}}{2 a c n}+\frac{\sqrt{3} b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x^{n/3}}{\sqrt{3} \sqrt [3]{a}}\right )}{a^{5/3} c n}-\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (\sqrt [3]{a}+\sqrt [3]{b} x^{n/3}\right )}{a^{5/3} c n}+\frac{b^{2/3} x^{2 n/3} (c x)^{-2 n/3} \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x^{n/3}+b^{2/3} x^{2 n/3}\right )}{2 a^{5/3} c n}\\ \end{align*}
Mathematica [C] time = 0.011086, size = 39, normalized size = 0.18 \[ -\frac{3 x (c x)^{-\frac{2 n}{3}-1} \, _2F_1\left (-\frac{2}{3},1;\frac{1}{3};-\frac{b x^n}{a}\right )}{2 a n} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.066, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{a+b{x}^{n}} \left ( cx \right ) ^{-1-{\frac{2\,n}{3}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} -b \int \frac{x^{\frac{1}{3} \, n}}{a b c^{\frac{2}{3} \, n + 1} x x^{n} + a^{2} c^{\frac{2}{3} \, n + 1} x}\,{d x} - \frac{3 \, c^{-\frac{2}{3} \, n - 1}}{2 \, a n x^{\frac{2}{3} \, n}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.86318, size = 891, normalized size = 4.01 \begin{align*} -\frac{3 \, x e^{\left (-\frac{1}{3} \,{\left (2 \, n + 3\right )} \log \left (c\right ) - \frac{1}{3} \,{\left (2 \, n + 3\right )} \log \left (x\right )\right )} - 2 \, \sqrt{3} \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{1}{3}} \arctan \left (\frac{2 \, \sqrt{3} a \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{1}{3}} \sqrt{x} e^{\left (-\frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (c\right ) - \frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (x\right )\right )} + \sqrt{3} b c^{-n - \frac{3}{2}}}{3 \, b c^{-n - \frac{3}{2}}}\right ) - 2 \, \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{1}{3}} \log \left (\frac{b c^{-n - \frac{3}{2}} x e^{\left (-\frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (c\right ) - \frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (x\right )\right )} + a \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{2}{3}} \sqrt{x}}{x}\right ) + \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{1}{3}} \log \left (\frac{b c^{-n - \frac{3}{2}} x e^{\left (-\frac{1}{3} \,{\left (2 \, n + 3\right )} \log \left (c\right ) - \frac{1}{3} \,{\left (2 \, n + 3\right )} \log \left (x\right )\right )} - a \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{2}{3}} \sqrt{x} e^{\left (-\frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (c\right ) - \frac{1}{6} \,{\left (2 \, n + 3\right )} \log \left (x\right )\right )} - b c^{-n - \frac{3}{2}} \left (-\frac{b^{2} c^{-2 \, n - 3}}{a^{2}}\right )^{\frac{1}{3}}}{x}\right )}{2 \, a n} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 5.01053, size = 226, normalized size = 1.02 \begin{align*} \frac{c^{- \frac{2 n}{3}} x^{- \frac{2 n}{3}} \Gamma \left (- \frac{2}{3}\right )}{a c n \Gamma \left (\frac{1}{3}\right )} - \frac{2 b^{\frac{2}{3}} c^{- \frac{2 n}{3}} e^{- \frac{i \pi }{3}} \log{\left (1 - \frac{\sqrt [3]{b} x^{\frac{n}{3}} e^{\frac{i \pi }{3}}}{\sqrt [3]{a}} \right )} \Gamma \left (- \frac{2}{3}\right )}{3 a^{\frac{5}{3}} c n \Gamma \left (\frac{1}{3}\right )} + \frac{2 b^{\frac{2}{3}} c^{- \frac{2 n}{3}} \log{\left (1 - \frac{\sqrt [3]{b} x^{\frac{n}{3}} e^{i \pi }}{\sqrt [3]{a}} \right )} \Gamma \left (- \frac{2}{3}\right )}{3 a^{\frac{5}{3}} c n \Gamma \left (\frac{1}{3}\right )} - \frac{2 b^{\frac{2}{3}} c^{- \frac{2 n}{3}} e^{\frac{i \pi }{3}} \log{\left (1 - \frac{\sqrt [3]{b} x^{\frac{n}{3}} e^{\frac{5 i \pi }{3}}}{\sqrt [3]{a}} \right )} \Gamma \left (- \frac{2}{3}\right )}{3 a^{\frac{5}{3}} c n \Gamma \left (\frac{1}{3}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (c x\right )^{-\frac{2}{3} \, n - 1}}{b x^{n} + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]